Propositional function - PDFSEARCH.IO - Document Search Engine

Propositional function
Results: 162

#	Item
61	"Event-Valued Random Variables = Propositional Functions of Possible Worlds", 1971 Box 14, Folder 6 Richard C. Jeffrey Papers, [removed], ASP[removed], Archives of Scientific Philosophy, Special Collections Department, Un Add to Reading List Source URL: digital.library.pitt.edu Language: English - Date: 2013-06-01 22:40:57 Propositional calculus Philosophy of language Function Proposition Random variable Mathematics Logic Mathematical logic
62	Reasoning about Programs by Exploiting the Environment* Limor Fix Fred B. Schneider Department of Computer Science Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 20:28:10 Mathematical logic Propositional calculus Formal languages First-order logic Model theory Entailment Function Constructible universe Logical connective Logic Logical syntax Metalogic
63	Extracting Propositional Rules from Feed-forward Neural Networks — A New Decompositional Approach Sebastian Bader and Steffen H¨olldobler and Valentin Mayer-Eichberger International Center for Computational Logic Tech Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2006-11-03 20:49:32 Neuroscience Perceptron Feedforward neural network Artificial neural network Artificial neuron Backpropagation Connectionism Pattern recognition Activation function Neural networks Cybernetics Science
64	Formalizations Of Substitution Of Equals For Equals David Gries and Fred B. Schneider y Computer Science Department, Cornell University Ithaca, New York[removed]USA May 27, 1998 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-05-31 13:45:56 Propositional calculus Predicate logic Model theory Quantification First-order logic Function Generalization Universal quantification Modal logic Logic Mathematical logic Mathematics
65	PHI[removed]Logic WINTER 2014 MWF 2 – 2:50 pm Instructor: Office Hours: Add to Reading List Source URL: www.brobinson.info Language: English - Date: 2014-01-07 16:10:11 Boolean algebra Propositional calculus Arguments Non-classical logic Aplia Economics education Homework Function Syllogism Logic Mathematical logic Mathematics
66	Philosophy and Phenomenological Research Philosophy and Phenomenological Research Vol. LXXXI No. 2, September 2010 2010 Philosophy and Phenomenological Research, LLC Add to Reading List Source URL: www.jimpryor.net Language: English - Date: 2012-12-08 09:29:54 Propositional calculus Predicate logic Philosophy of language Semantics Proposition Expression Free variables and bound variables Predicate Function Logic Mathematics Mathematical logic
67	Constraints: A Uniform Approach to Aliasing and Typing Fred B. Schneider+ Cornell University Leslie Lamport * Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-21 13:13:38 Program logic Model theory Hoare logic Function Universal quantification Aliasing Interpretation Propositional calculus Independence Mathematical logic Mathematics Logic
68	What room for viewpoints? Jacques Jayez ENS-LSH & UMR[removed]removed] and Add to Reading List Source URL: www.cssp.cnrs.fr Language: English - Date: 2010-11-22 10:35:29 Propositional calculus Non-classical logic Mathematical logic Semantics Philosophy of language Modal logic Proposition Function Linguistic modality Logic Mathematics Science
69	Formalizations Of Substitution Of Equals For Equals David Gries 1,2 and Fred B. Schneider 1 1 Computer Science, Univ. of Georgia Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-05-31 13:46:38 Propositional calculus Predicate logic Model theory Quantification First-order logic Function Constructible universe Generalization Universal quantification Logic Mathematical logic Mathematics
70	Notes for formal methods seminar Part I. Logic Richard Pettigrew Department of Philosophy University of Bristol Add to Reading List Source URL: www.mcmp.philosophie.uni-muenchen.de Language: English - Date: 2014-01-14 06:12:05 Propositional calculus Model theory Logical syntax Formal languages Interpretation Well-formed formula First-order logic Function Logical connective Logic Mathematical logic Mathematics